Raising dimension under all projections
نویسندگان
چکیده
منابع مشابه
A dimension raising hereditary shape equivalence
We construct a hereditary shape equivalence that raises transfinite inductive dimension from ω to ω + 1. This shows that ind and Ind do not admit a geometric characterisation in the spirit of Alexandroff’s Essential Mapping Theorem, answering a question asked by R. Pol.
متن کاملUpper bounds for noetherian dimension of all injective modules with Krull dimension
In this paper we give an upper bound for Noetherian dimension of all injective modules with Krull dimension on arbitrary rings. In particular, we also give an upper bound for Noetherian dimension of all Artinian modules on Noetherian duo rings.
متن کاملDominating Subsets under Projections
Abstract. Let d be a fixed integer, and let W be any d-dimensional linear subspace of Rn. There then exists a subset I of the n coordinates {1, 2, . . . , n} of Rn of cardinality at least ( 1 2 − o(1))n such that for every vector w = (w1, . . . , wn) ∈ W we have ∑ i∈I |wi| ≤ ∑ i/ ∈I |wi|. Equivalently, let P be any multiset of n arbitrary vectors in Rd. Then there exists a subset S of P of size...
متن کاملDimension of Projections in Boolean Functions
A projection is a subset of {0, 1}n given by equations of the form xi = xj , xi = x̄j , xi = 0, and xi = 1, where for 1 ≤ i ≤ n, xi are Boolean variables and x̄i are their complements. We study monochromatic projections in 2-colorings of an n-dimensional Boolean cube. We also study the dimension of the largest projection contained in a set specified by its density. We prove almost matching lower ...
متن کاملDimension Inference under Polymorphic
Numeric types can be given polymorphic dimension parameters , in order to avoid dimension errors and unit errors. The most general dimensions can be inferred automatically. It has been observed that polymorphic recursion is more important for the dimensions than for the proper types. We show that, under polymorphic recursion, type inference amounts to syntactic semi-uniication of proper types, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1994
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-144-2-119-128